kw.\*:("Formal logic")
Results 1 to 25 of 580
Selection :
La logique non formelle : la préhistoire et l'histoire la plus récenteŻARNECKA-BIAŁY, E.Ruch filozoficzny. 1992, Vol 49, Num 1, pp 37-41, issn 0035-9599Article
The fundamental S-theorem-A corollaryMEYER, R. K; MARTIN, E. P; DWYER, R et al.Notre Dame journal of formal logic. 1983, Vol 24, Num 4, pp 509-516, issn 0029-4527Article
Burgess on relevance: a fallacy indeedREAD, S.Notre Dame journal of formal logic. 1983, Vol 24, Num 4, pp 473-481, issn 0029-4527Article
Structural induction and coinduction in a fibrational settingHERMIDA, C; JACOBS, B.Information and computation (Print). 1998, Vol 145, Num 2, pp 107-152, issn 0890-5401Article
A Structuralist Approach to TruthlikenessKUIPERS, T. A.Poznán studies in the philosophy of the sciences and the humanities. 1987, Vol 10, pp 79-99, issn 0303-8157Article
How to Define VerisimilitudeNIINILUOTO, I.Poznán studies in the philosophy of the sciences and the humanities. 1987, Vol 10, pp 11-23, issn 0303-8157Article
Truthlikeness of Stratified TheoriesKUIPERS, T. A. F.Poznán studies in the philosophy of the sciences and the humanities. 1987, Vol 10, pp 177-186, issn 0303-8157Article
Theory of Similarity, Similarity of Theories, and VerisimilitudeFESTA, R.Poznán studies in the philosophy of the sciences and the humanities. 1987, Vol 10, pp 145-176, issn 0303-8157Article
Zu einem « der tiefsten philosophischen Probleme ». Eine hermeneutische StudieSIEGWART, G.Conceptus. 1990, Vol 24, Num 63, pp 67-79, issn 0010-5155Article
The Picture Theory of TruthlikenessODDIE, G.Poznán studies in the philosophy of the sciences and the humanities. 1987, Vol 10, pp 25-45, issn 0303-8157Article
Implication and presuppositionFARRELL, R. J.Notre Dame journal of formal logic. 1986, Vol 27, Num 1, pp 51-61, issn 0029-4527Article
Axioms for mereologyLE BLANC, A.Notre Dame journal of formal logic. 1985, Vol 26, Num 4, pp 429-436, issn 0029-4527Article
Higher quantity syllogismsPETERSON, P. L.Notre Dame journal of formal logic. 1985, Vol 26, Num 4, pp 348-360, issn 0029-4527Article
Using institutions for the study of qualitative and quantitative conditional logicsBEIERLE, Christoph; KERN-ISBERNER, Gabriele.Lecture notes in computer science. 2002, pp 161-172, issn 0302-9743, isbn 3-540-44190-5, 12 p.Conference Paper
Un point de logique aristotélicienne : le «définitionnel» = A point of aristotelian logic : definition as a formulaGAUDIN, C.Mathématiques, informatique et sciences humaines. 1991, Num 116, pp 47-55, issn 0995-2314Article
Modularity and relevant logicGARSON, J.Notre Dame journal of formal logic. 1989, Vol 30, Num 2, pp 207-223, issn 0029-4527, 17 p.Article
Mindful logic: how to resolve some paradoxes of identityPANNIER, R; SULLIVAN, T.Notre Dame journal of formal logic. 1988, Vol 29, Num 2, pp 249-266, issn 0029-4527Article
On an implication connective of RMAVRON, A.Notre Dame journal of formal logic. 1986, Vol 27, Num 2, pp 201-209, issn 0029-4527Article
Knowledge : Based integration infrastructure and the emerging integration scienceBELLMAN, K.International congress on cyberneticsCongrès international de cybernétique. 1998, isbn 2-87215-004-8, p. 857Conference Paper
An approach to literate and structured formal developmentsSIMONS, M; WEBER, M.Formal aspects of computing. 1996, Vol 8, Num 1, pp 86-107, issn 0934-5043Article
Intermediate quantifiers versus percentagesCARNES, R. D; PETERSON, P. L.Notre Dame journal of formal logic. 1991, Vol 32, Num 2, pp 294-306, issn 0029-4527Article
The logic of the liar from the standpoint of the aristotelian syllogisticKELLY, C. J.Notre Dame journal of formal logic. 1991, Vol 32, Num 1, pp 129-146, issn 0029-4527Article
Les outils logiques des systèmes hypothético-déductifs automatisés: les fondements de la connaissance et les systèmes logiques de véritéAISHAKOV, O. M; SKVORTSOV, D. P; FINI, V. K et al.Naučno-tehničeskaâ informaciâ - Vsesoûznyj institut naučnoj i tehničeskoj informacii. Seriâ 2. Informacionnye processy i sistemy. 1987, Num 9, pp 10-18, issn 0548-0027Article
On purely relevant logicsAVRON, A.Notre Dame journal of formal logic. 1986, Vol 27, Num 2, pp 180-194, issn 0029-4527Article
Relevance and conformityDEUTSCH, H.Notre Dame journal of formal logic. 1985, Vol 26, Num 4, pp 455-462, issn 0029-4527Article